Abstract rewriting system